Walther PP Super 9mm Ultra/.380 Factory Owners Manual IN GERMAN!

Decades ago when I was in my Walther phase, I bought a couple of PP Super pistols in 9x18 Ultra & the other in 9mm Kurz (.380). I sold them off in the early 2000's but forgot about the manuals and magazines I'd stashed in the "W" drawer. Up for bid is an UBER scarce West German Polizei Walther PP Super operators manual in the original German language. 16 page with the issued officers name on the front and with highlighting and brief notation in the "Technische Daten". The pistols were imported from 1972-1979 and pretty scarce these days. I was unable to find a manual listed on eBay to come up with an opening bid. They're more rare than the pistols! Gonna put it up for $25 & see if it generates any interest.