small addendum to german translation