@Override
    public Texture getTexture() {
	return superior ? new StandardTexture("mine_superior") : owner == null ? new StandardTexture("mine_neutral") : new StandardTexture("mine_" + owner.color.name().toLowerCase());
    }