bestämdt till 25 frcs 10 centimes.