och bestämdes alltså till kr.