As the Guys above have said, some great spring guns there !
Firstly, from a personal veiwpoint, I'd be looking at an HW 95k or the cheaper HW 99S. Both are superb fairly lightweight top quality spring guns which can be (if you like) tuned and upgraded to a high level of performance. Add to that the addition (swapping) of a Customstock and you've got a magnificent air rifle which will please you for many years to come !
You don't mention a scope but for a start, stick to the standard 3-9x40 format which will get you started and maybe in the near future, you will move on to other specs depending on what mode of airgunning you eventually decide on !
Secondly, a very warm welcome to the Forum, I hope you enjoy it and find it very informative !
“Let us not dwell on the distance we have fallen short, let us dwell on the distance we have travelled" !