The last days of Berlin’s gas streetlamps