\ Man Shot Dead During Robbery by Off Duty Policeman in Barbican