Have been made aware of rifle 90PM0707, so the fourth and therefore last one to that batch mine also came from. It seemingly now belongs to a company in Austria and they published a [German] video on it on YouTube. At around 23:35 in that video they show off the original price list and manual from the importer Spindler.
https://www.youtube.com/watch?v=urrEwHYf-oo
