After trying out various ideas, making sure that all the nodes can communicate with each other (port forwarding) and typing miner.start() in the geth console of tx0 did the job.
It's important to note that miner.start() has to be set after every start of the VM. My idea is now to automate that upon every start of the VM