if (!$disc) {
                throw new BgaUserException(self::_("No more discs in your supply. You should be able to solve the case!"));
            }