rundfenster kleiner machen

Hallo zusammen, ich habe folgendes Problem: Bei unserem runden Schwingfenster (Treppenhaus, n. außen) ist der Flügel (1988) kaputt. Ich habe einen Ersatzflügel gefunden, der vom Durchmesser um etwa 20 mm zu groß ist, also rundrum 10 mm abgenommen werden muss. Ich suche Tipps, mit welcher...