shell script for updating DNS entries via Variomedia’s HTTP API (dynamic DNS)