<!ENTITY empty.label            "Suchen">
<!ENTITY newpref.label          "Neue Einstellung hinzufügen">
<!ENTITY addpref.name           "Name">
<!ENTITY addpref.value          "Wert">

<!ENTITY cancel.label           "Abbrechen">
<!ENTITY reset.label            "Zurücksetzen">
<!ENTITY done.label             "Fertig">

<!ENTITY integer.label          "Integer">
<!ENTITY string.label           "String">
<!ENTITY boolean.label          "Boolean">
