täcktes den 12 dennes i Köpenhamns Tivoli.