Wie viel Schwefelsäure wird in Deutschland produziert?