Wie lautet eigentlich der offizielle Name des Kölner Doms?

Der Kölner Dom steht mit seiner Pracht so selbstverständlich im Herzen der Stadt, dass sich kaum jemand Gedanken um seinen richtigen Namen macht. Wie heißt der Dom denn offiziell?