Use Unicode notation for German 8-bit characters.