Get the internet time from websites

wget --method=HEAD -qSO- --max-redirect=0 zeit.de 2>&1 | sed -n 's/^ *Date: *//p'