öppnande bör tillika vara en festdag för Köpenhamn.