Quoted from protectors:Mirco Steffen from highclasspinballs aka https://mircoplayfields.com/ aka jjp supplier aka ... is not associated at all with Mirco from playfield protectors... Same given name - that's it.
But - of course it makes sense to protect all playfield with our playfield protectors... that includes playfields from the other Mirco
All the best
https://playfield-protectors.com/
In the States it cost like 60$ to change the first name of a person. If I was in the pinball hobby selling things and had the first name Mirco ..... it would be money well spent.