gesamt: teilweise mehrere befehle in einer zeile -- mal schauen ob das dem skript...
[uebersetzerbau-ss10.git] / folien /
2010-02-26 Bernhard Urbaninit