Jech - 2012-11-08

I found out that the problem is caused by the font used in Android 4.x. The font apparently doesn't contain Central European characters. I think a different font should be used as default.