I followed your directions, and 'brutally simple' is the best way to describe it..
I stripped the pistol, cleaned it, and oiled it. You are right about this being a great pistol. I've seen them around, but never actually 'handled' one, until this past week. I picked it up in a gun shop, and was immediately impressed with the quality. So, I went back home and did a bit of research, and found that they have a very good reputation, and they are highly regarded by their owners. One of my own officers had one....he said his father brought it back from WWII. He takes it out and shoots it on occasion, and says that it is absolutely wonderful....and no, he won't sell it...
So, that convinced me, so I went back and bought this one. I'm going to try to see if I can find and download a manual for it online, and I'm hoping to get out to shoot it (along with my new Walther PP) tomorrow.
As to hammer bite, I've long since found the cure: I take a pair of the inexpensive latex examination gloves, and I cut the fingers off, but still leave enough on them so that they go on over my nuckles and cover a small part of the finger. They are not in the way at all, but they allow me to get through a range session without getting 'bitten'...