Thank you gweedo

btw: Is it normal that I get different IPs for ping bitcoinarmory.com on two different internet connections? (maybe because of cloud hosting !?)