Ja, Rolf,
That's correct.
But the one you are pointing us to is a (recent factory) reprint in B&W without colored drawings anymore.
The originals are a bit more expensive.
Maybe close to 3 digit number (100 ...) but certainly not 4-digit.
Crazy....
Achim
(ownersmanualcollector)