German translation

These are minor improvements to the German translation.