German translation: Minor improvements