Fix #854: updated german translation