Servus und willkommen.
OK, das ist, vorsichtig ausgedrückt, ungewöhnlich. habe ich so in über 20 Jahren, die ich mit solchen Lampen zu tun habe, noch nie gesehen.
Du hast natürlich recht, das soll definitiv nicht so sein. Die möglichen Lösungen sind recht weitläufig, von löten über verkleben/spachteln von außen über versiegeln von innen ist eigentlich alles möglich. Am originaltreuesten, oder besser gesagt zeitgenössischsten ist natürlich das weichlöten, was man allerdings können muss. Ich persönlich vertrete die Meinung, man sollte versuchen, ein Gerät so zu reparieren, wie es die Nutzer desselben in seiner Nutzungszeit getan hätten. Fachgerecht versteht sich. Es ist auch die haltbarste Reparatur, die so lange halten wird, wie die ganze Laterne. Wenn du einen Blechner/Dachdeckerbetrieb, der auch Dachrinnen auch verzinktem Blech verarbeitet kennst, kannst du auch dort einmal fragen, ob die dir für ein paar Mäuse in die Kaffeekasse eine Naht drumziehen.
Viele Grüße und viel Erfolg,
Stefan