I guess that 4200 euro hammer price did not count 15% BP (?)..... if counted, 4200 x 1.15 x 1.32 = 6375, plus shipping and import fee etc... then the two price tags won't be very far away.
This must be a gun for advanced collector, who got most Krieghoff variations and not sure what else to acquire. Why not another Krieghoff, a vopo one
Cool gun.