Cologne cathedral, Cathedral, Building