Berliner Dom: Über 12.000 Menschen besuchen sanierte Hohenzollerngruft