gulden 7:40 ; tyska riksmynt : 20 mark kr.