You're welcome, Mr B.
Well, a '35 Luxus refers to the sexy and desirable walnut Luxus stock (look at that lovely shape pistol grip ).
Having a closer butchers at the pictures - the '95K looks to be the slightly earlier, and slightly more sought-after variant (with muzzle weight rather than the later screwcut barrel).
'77 looks to be full-length, and an earlyish version (MK2, I think), which should contain the (once again) more desirable 25mm piston... newer '77s have 26mm pistons, that just don't shoot as nicely at the UK limit.
I realise that wasn't what you're asking - so back to a ballpark price: From what I can see there, I wouldn't be surprised to see them on a table sale, marked at 250 each. But would expect them to sell after a haggle at nearer the 200 mark.
Hopefully you'll receive other opinions tomorrow.
Phil