Danke, Christian, für den Link.
Da gibt es tatsächlich einen mit 3 GHz Taktung; doch der ist mit knapp 1800 Euronen jenseits dessen, was ich nicht nur ausgeben will, sondern auch ausgeben kann, ohne dass mir mein Finanzministerium ein Veto sagt.
Das Interessanteste ist einer mit 2,7 Grundfrequenz und 3,2 Turbo Boost. Nur sagt man mir, dass Turbo Boost eine Augenauswischerei sei und außerdem zumindest einen Superkühler für den Notebook bräuchte.
Mit 2,7 wäre ich notfalls auch zufrieden; denn auf meinem älteren Desktop mit 2,67 GHz laufen auch noch GR 12 und GR 13.
Mal sehen, was mein örtlicher PC-Händler zu sagen hat: schließlich brauche ich gelegentlich auch einen Service, nicht nur für den Notebook.
Jedenfalls mal herzlichen Dank und