Cologne’s cathedral under construction