When (at how much mm) do you change your winter tires?

Just because of interest: When (at how much mm) do you change your winter tires? Background: The Michelin A4 on our golf are actually at the border where you could change (at least 4 mm) and supposedly should. However, we noticed yesterday and today that the Michelin (which we actually wanted to shut down the summer) still has so much grip that it would be a waste of money to change it now. I have to say that we in general really really do with this tire. were very satisfied. By far the best tire we had on the golf so far. So: When do you change your tires?