blir 171,000 tyska riksmark.