Recent versions of Docker no longer(?) work with the Git-Bash hack.
Supply an rundune.bat script for this case. Needs only the install of
the Docker Destop.