Using two of the command show in the support guide yields the following results
% dig michelhotel-sonnenhof.de NS +trace | tail -n 6
michelhotel-sonnenhof.de. 86400 IN NS dns4.p01.nsone.net.
michelhotel-sonnenhof.de. 86400 IN NS dns3.p01.nsone.net.
michelhotel-sonnenhof.de. 86400 IN NS dns1.p01.nsone.net.
michelhotel-sonnenhof.de. 86400 IN NS dns2.p01.nsone.net.
;; Received 142 bytes from 2001:8d8:fe:53:0:d9a0:522d:100#53(ns1045.ui-dns.com) in 361 ms
% dig michelhotel-sonnenhof.de NS +trace | tail -n 6
michelhotel-sonnenhof.de. 86400 IN NS dns4.p01.nsone.net.
michelhotel-sonnenhof.de. 86400 IN NS dns3.p01.nsone.net.
michelhotel-sonnenhof.de. 86400 IN NS dns1.p01.nsone.net.
michelhotel-sonnenhof.de. 86400 IN NS dns2.p01.nsone.net.
;; Received 142 bytes from 2001:8d8:fe:53:0:d9a0:522d:100#53(ns1045.ui-dns.com) in 361 ms
would be the correct entries.
This is the first time the Nameserver entries will be made by the client, not by me, so I asked her to double check if all the entries are made correctly, will give an update on that later.