Germany’s first military deployment since World War 2.