I got myself a dedicated server, and had the dumbest issue which cost me way too much time. Here I share what it was and how I solved it.
*sheds a tear for the old DNS settings page at #hetzner
Looks like they build an app to edit the zonefile. Glad there is an old-fart edit mode for overview and fast editing as well: