Ok, ja stimmt, einen anderne USB Port habe ich noch nicht ausprobiert, das werde ich gleich mal tun,
eine andere Tastatur habe ich nicht, muß ich mir organisieren, sollte aber machbar sein. Das wäre zu genial, wenn der Fehler so einfach zu beheben sein sollte :-)
Danke für den Tipp, Matt!