Gasoline fuelled in diesel

Hello I happened yesterday in the stress the following. I filled 14L petrol on approx. 10L rest diesel in the tank. When I noticed it, I immediately ran to the next workshop and they charged my car. So I did not drive by car. Only one of the mechanics briefly turned on the ignition to unlock the steering wheel lock. What can/has happened thereby? I read that the fuel pump pre-pumps from the turn on of the ignition. Is that right? expand the day, empty and clean and change the filter. Is that enough? or has this mixture already come into the engine?Thank you in advance