How to best replenish emergency fund?

Hi all, I have an emergency fund of around 30k (6 times my monthly income) but will need to use 3 to 4K for necessary expenses on the roof of my property. At the moment, I save monthly about 200€ in my emergency fund, 200€ for travels and I invest 500€ monthly in an ETF. What would be the most efficient way to replenish the emergency fund? Do I prioritise it and stop investing until it is back at 30k? Do I make a split? I don’t have much room to save/invest more atm because of a big mortgage… In