NRW beteiligt sich an Sanierung des Aachener Doms