Fix missing spaces

Found by @HenningB and

    grep -r '//[^ ]' source/de