Wann wird militärisch gegrüßt?