Wenn die Wehrmacht „nicht traditionsstiftend“ ist, werden dann jetzt auch Bundeswehrkasernen umbenannt?