Obituary and summary notes on John Bruce