I just donated a large amount of hand tools and received a thank you with a picture of the jig they used to grind the 11mm wrenches into 12 MMs. I must have laughed for 15 minutes. There were over 300 of them. I am waiting to see them laser cutting the sockets. There are hundreds of them too. I am waiting for them to bend the wrenches and sell them like we did header wrenches back in the day.
Mercedes 500E/ E500 header wrenches: