lins skall hafva en diameter af 3 fot och kosta 500,000 francs.