Update auf Jetty 8.1.12.v20130726
HafenCity als neue Karte hinzugefügt