> 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