I de officiella uppgifterna från Berlin den 1dennes