Im Mariendom wird es künftig kälter werden.