Nice selection of airguns there Steve - what happened to the buyers

What was the price on the nickel Haenel 100 ?