Thanks, Robert.
Yes, that is correct. The engine starts normally when it's cold.
But when the engine is hot, I can't restart. When I then check the spark plug, no spark.
I tried a new spark plug but that didn't solve the problem.
Same after changing the iginition coil: no spark when the engine is hot.