darf eigentlich eine Hotfixdatei im Windows-Explorer nach der Installation entfernt werden?