Aachener Dom und gesamte ehemalige Pfalzanlage werden saniert