Add German translation of parameter type inference

See 722d159.

(There’s one difference to the English original: I clarified “and let
[the parameter types] be inferred” by adding what in English would be
“by the compiler”, since I think the German translation of “inferred” is
a bit less clear.)