A.
A.a Der 1936 geborene F.________ arbeitete vom 1. November 1974 bis zu seiner Pensionierung am 31. August 2001, der 1959 geborene L.________ vom 1. Juni 1990 bis 31. Mai 2001 bei der Kernkraftwerk X.________ AG (nachfolgend Kernkraftwerk AG). Sie waren bei der Pensionskasse Energie (früher Pensionskasse Schweizerische Elektrizitätswerke; nachfolgend PKE) im obligatorischen und überobligatorischen Bereich vorsorgeversichert. Am 22. Mai 2000 fand eine Sitzung zwischen der Direktion der Kernkraftwerk AG und Vertretern der Kernkraftwerk-Betriebspersonal-Vereinigung (KKBV) statt.