Ehrenkreuz der Bundeswehr. "Steinhauer vs. Bender"