7 , 40 ; tyska riksmynt : 20 mark kr.