The Bukkit plugin for the Minecraft PvP mini-game Duden