Germany’s first military deployment since World War II