docs: public Production getBeta() {
  	Production production = new Production("beta");
  	for (int pos = getPosition() + 1; pos < getProduction()
  		.getConstructions().size(); pos++) {
  	    production.addConstruction(getProduction().getConstructions().get(
  		    pos));
  	}
  	return production;
      }