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;