Sanierung des Aachener Doms wird fortgesetzt