Darmstadt. Main building