Uebung zu Theorie der Programmierung