Danke für die Antworten!
Virtueller Desktop mit höherer Auflösung wäre auch meine Idee gewesen, aber ich hab das unter Windows 10 nicht hinbekommen. Entweder gibts das nicht mehr, oder es ist saugut versteckt...
Ich hab mir dann notfallmässig ein HDMI Kabel gekauft und den Hotelfernseher daran angeschlossen. Hat wunderbar geklappt
