GFF-(/Galaxy?)-Launcher for the GFF-Clan and the GalaxyCraft-MC-Server-Systems