Sir (Alfred Charles) Bernard 1913–2012 British astronomer