Wen es interessiert: Der Scanner funktioniert weiterhin ohne Probleme. Es kommt beim Starten zwar eine Meldung (wegen der 32 Bit), aber sonst konnte ich keine Probleme feststellen.