Nach 30 Jahren: Grundsanierung Aachener Dom beendet