bugfix in uebung09.py