Sklepi so objavljeni na tej povezavi.