Germany to halt Israel military exports that can be used in Gaza: What to know