operations in the Second World War /