Handbook of the History of General Topology