Were there any casualties during Berlin crisis?