Und damit man das nicht jedes Mal so ausfuehrlich schreiben muss, nennen wir es einfach weiterhin "Whitespace". (Wenn jemand fragt, jetzt gibt es auch einen Glossar-Artikel dazu. :-))