Ich habe mit folgendem Befehl (als der firewalld Service noch lief) den Port versucht zu öffnen.
sudo firewall-cmd --add-port=8001/tcp
und mit folgendem permanten zu setzen.
sudo firewall-cmd --runtime-to-permanent
Danach habe ich den Firewalld Service neu gestarten, den ganzen Host neu gestartet aber es hat immer noch nicht funktioniert.