Umbenennung der „Hahnschen Insel“ in den „Henri-Nannen-Platz“