Add German localization, thanks to Bourbaki!