och Tivoli är Köpenhamn.