printf korrigiert