Workaround: starting the 3.2.0-debian docker container on raspbian

And now I am reading that there is a proper workaround documented as well: