minor: typo in german translation