Aus den Erwägungen:
1. Art. 137 des Bundesgesetzes vom 3. Februar 1995 über die Armee und
die Militärverwaltung (MG, SR 510.10, in Kraft getreten am 1. Januar 1996)
lautet wie folgt:
«Eigentum der Angehörigen der Armee
1
Die Angehörigen der Armee müssen für Verlust und Beschädigung ihres
Eigentums selbst aufkommen. Der Bund richtet ihnen eine angemessene
Entschädigung aus, wenn der Schaden durch einen dienstlichen Unfall oder
unmittelbar durch die Ausführung eines Befehls entstanden ist.