fix german localization

get some better translations, and shorten some of the english labels in
the bargain