kronor — 13 , 500 , 000 riksmark , hvaraf 8 , 000 , 000 kr.