typo in german translation