Ok, wenn ich analog zu
https://stackoverflow.com/a/39400887/2443312 die "docker resolv Sache" einrichte, geht das DNS - aber ich bekomme nun die Startseite des tomcat aus dem docker nicht mehr unter localhost:8000 geladen.
Weil es blöd ist, immer die Dateien anzupassen und network-manager und docker neuzustarten (und auch weil ich mal beides gleichzeitig brauchen werde - funktionierendes DNS für Servies im privatem Netz und localhost) und weil ich glaube, dass wahrscheinlich nur ein Winzstück fehlt, wäre ich für Hinweise und Tipps sehr zu Dank verpflichetet. Bin leider auch ein relativer Netzwerk-Noob…