bestämdes derefter den årliga arrendesumman till 15,000 kr.