gulden eller omkring 1,200 millioner kr.