for 100,000 frcs .“