Bundesgesetz, mit dem das Kriegsmaterialgesetz geändert wird