omkring 9 , 500 , 000 tyska riksmark , optionskursen Ur 96 proc.