Gas price shocks and euro area inflation

We document