Rechner neu gestartet - alles wieder OK.