Grundsanierung des Aachener Doms beendet