Enligt officiela tyska uppgifter,