Create liste.h

Musst mal schauen ob das alles so gut hinkommt. Müssen vllt später dann dementsprechend Veränderungen vornehmen. Hoffe aber wir kommen mit den Modulbeschreibungen von Boogie ganz gut weg x_X