gulden . , 4 kr.