task body ABFERTIGER is

begin
  loop
    accept ANMELDUNG do
    end ANMELDUNG;
    FAHRGAESTE.VORSICHT;
    accept EINGEFAHREN do
    end EINGEFAHREN;
    FAHRGAESTE.ZURUECKBLEIBEN;
    ZUG.AUSFAHREN;
  end loop;
end ABFERTIGER;