wiki

There are a lot of pages that have not yet been migrated to the new mediawiki. They should be migrated, so that we can shutdown the old wiki. This usually requires small adjustments to the syntax and the creation of categories corresponding to dokuwiki namespaces. It also makes sense to check if the content is outdated, when migrating it.