German input encodings in LaTeX
