FYI for myself for later…
Restarting Docker Daemon in DockerToolbox Version (This was annoying to find):
sudo /etc/init.d/docker restart
Restarting Docker Daemon in a Normal Docker distribution:
sudo service docker stop
sudo service docker start