The ModLoader-Plugin for the Minecraft Launcher