document.write('Basel, Bern, Bremen, Düsseldorf, Düsseldorf, Frankfurt/Main, Hamburg, Köln/Bonn, Mannheim, München, Stuttgart, Wilhelmshaven, Zürich, HAMNBURG');