Edward Jocelyn Baumgartner — British judge in Gibraltar