, ( Berlin ) 88 : 30 100 Francs ( Paris ) 7 } : " 9,