gulden , 8 000 kr.