History of electron microscopy for materials at the Weizmann Institute