@Horny
Hab die Ursache der Lags gefunden. Am Prozessor bzw. der -auslastung lag es nicht

Problem war offensichtlich ein kürzlich gezogenes Update. Nach der Deinstallation lässt es sich nun wieder schön flüssig spielen!

Das Tutorial von Dhjuba (mksu) hat mir dennoch gut gefallen.