under samma tid hafva utgjort kr.