Dem angegebenen Beleg nach war die Eigentumsübertragung an die Stadt Berlin bereits 1945 erfolgt, also lange vor der Teilung Berlins im Jahr 1948 (unklar ist, wann genau; vielleicht schon in den zwei Monaten vor dem Einzug der Amerikaner in ihren Sektor am 4. Juli 1945?).-- Gloser 22:10, 30. Sep. 2022 (CEST)