Gasbelysningen kostade nu 15,300 kr.,