task KUNDE is end KUNDE; task TANKWART is entry BEZAHLEN(BETRAG: GELD_T); entry BENZIN(MENGE: LITER_T); entry RESTGELD(BETRAG: out GELD_T); end TANKWART; task ZAPFSAEULE is entry BERECHTIGUNG(MENGE: LITER_T); entry PUMPE; end ZAPFSAEULE;