prune trailing whitespace

Nur noch kurz den Whitespace weg gemacht.