Darmstadt, Ernst-Ludwig-Platz: picture postcard