Der rechtsgenügliche Nachweis einer berufsvorsorgerechtlich relevanten Einbusse
an funktionellem Leistungsvermögen erfordert jedoch nicht zwingend eine
echtzeitlich ärztlich attestierte Arbeitsunfähigkeit. Nachträgliche erwerbliche oder medizinische Annahmen und spekulative Überlegungen, wie etwa
eine erst nach Jahren rückwirkend festgelegte medizinisch-theoretische Arbeitsunfähigkeit, reichen aber nicht aus (Urteil des Bundesgerichts 9C_61/2014 vom 23. Juli 2014 E. 5.1 mit Hinweisen).