German HTMLBook conversion.