Maximilian Demmel: A proper fixed functional for four-dimensional Quantum Einstein Gravity