South African radar in World War II