Ändern der Schriftart des Registrierungseditors in Windows 10