two small fixes on german translation