In 2023 nothing because the plants are back online, but last year a lot. Although Germany does traditionally export electricity to France in the winter because France doesn't have enough to cover electrical heating. Not sure what happened this winter.
That's great to hear. Energy-charts has data to 2014, and until last winter Germany exported more to France in every winter month except one, I think February 2022 or something.