Changed everything to HTML5, using charset UTF-8.

That included replacing umlauts. We also had to properly escape URIs for
Ajax in JavaScript. UTF-8 was chosen because SQLite requires it.