German localization options.dtd