@mbbrutman@mastodon.sdf.org I also expected it to go for an arm and a leg and a left kidney, but it was a local (meaning: Germany) buy, and I guess the holiday season played in my favor... So no, it did not hurt, it was mid-double digits in EUR. I bet the seller expected more too... I also noticed that this version of the manual is not available online. I'll see to it to get it scanned. Eventually. 😅 Thanks for the hint about the term. switch. For now it seems to be okay.