Since nobody seems to know I spent a few more hours on Google and found the answer myself. I put it here if others have the same issue.
Each Wiki has an API that beside other features has a dump feature. You can use that API for a full or current dump of any Wiki. See here for a tutorial on how to use the dumpgenerator.py
created by the wikiteam.
You can later import that XML dump either through the Special:import
page or use the importDump.php
script as explained in the Mediawiki manual.