Hey,

stand mal vor dem gleichen Problem. Mein ursprünglicher Deckel hatte nen Riss. Hab dann bei ebay günstig nen Gebrauchten gekauft, wusste aber nichts von dem 2 unterschiedlichen Deckeln. Da ich den gekauften bereits relativ aufwändig poliert hatte und nich wieder von vorn anfangen wollte hab ich den in etwa so bearbeitet wie Viertakter auch beschreibt. War nicht sonderlich schwierig und hält jetzt seit 2 Jahren.