> Use "curl -i" to make the http request. See the response.
> Use (for example) $host instead of $server_name.
Thank you very much for your immediate response and sorry for my late reply. "curl -i" was very useful and using "$host" instead of "$server_name" indeed solved my problem. Thank you very much for your help.
Greetings from South-Germany,
Steffen