codeb: labels mit . davor versehen (fuer bench.sh...)
[uebersetzerbau-ss10.git] / folien /
2010-02-26 Bernhard Urbaninit