för statswerket af 5 , 643 , 769 kr.