till allmänheten utgjorde den 31 maj kr.