[functions.global] whitespace
[functions.global] whitespace

Signed-off-by: Felix Schindler <54d06478cf3a37c93179cfe83764b3dd6351f9cf@wwu.de>

renemilk/DUNE-Stuff,renemilk/DUNE-Stuff,renemilk/DUNE-Stuff