20 May
2014
20 May
'14
11:40 a.m.
Hi Sergi
We have been able to confirm the behavior. Replacing a ë by a e solved it,
so it looks like an encoding problem.
Stephan