Text this: On the climate benefit of a coal-to-gas shift in Germany’s electric power sector