Provide german translation of #5635