Neues Beispiel aus Übung 5.1 (ILP)