har öfvertagits af dansken Ritzau.