Production of nitric oxide by ammonium-oxidizing bacteria colonizing building stones