Kleiner Nachtrag:
Ich habe mir den Ersatzdeckel
https://www.amazon.de/Objektivschutz...8037966&sr=8-6
bestellt.
Er schaut zwar fast genau so aus, wie der, der bisher als Ersatz herhalten musste,
passt aber bedeutend besser.
Nochmal herzlichen Dank für die Unterstützung.