Monday, June 02, 2008 at 02:29 PM
The problem seems to be related to the utf8x encoding of the inputenc package.
After switchting back to "utf8 with
\usepackage[utf8]{inputenc}
the problem does not longer appear. So far I have encountered no difficulties with that encoding.