kronor = 9000 tyska riksmark,