Oder man macht einen Neustart des Computers. Wenn man nämlich die
beiden Fonts reinkopiert, kann Windows selbst die Dateien noch nicht
verarbeiten. Da ist erst ein Neustart erforderlich.