Locations in Germany: Darmstadt, Cologne, Duesseldorf, Hamburg, Leipzig, Marburg, Berlin, Munich, Nuremberg...