LaTeX: Tilde vor U+00A0 ersetzen, sonst wird aus U+00A0 eine LaTeX-Tilde