Auf welche Summe belaufen sich die Entschädigungsleistungen, die die Nachkommen der Todesopfer durch Schusswaffengebrauch an der Berliner Mauer (https://www.chronik-der-mauer.de/todesopfer/), beziehungsweise jene Opfer, die zwar durch Schusswaffengebrauch verletzt, aber nicht getötet wurden, aus dem Bundeshaushalt bis heute erhalten haben?