Er verwendet ein ; nach der While-Schleife und benötigt deshalb hier keine {}