Progra Blatt 2 Hoare Kalkuel Aufgaben (3-5)