statskassan 12 , 800 , 000 mark.