* new method haltestelle.getHaltestellen() to get the station names from the server * new method haltestelle.processHaltestellen() to process the received station names * event handler registration for haltestelle.getHaltestellen() method