Mit Blick auf die Tabellenlöhne der Lohnstrukturerhebung (LSE) für Männer in der Altersgruppe zwischen 30 und 49 Jahren (Tabelle 17) ergibt sich Folgendes: Für das Jahr 2019 (Zeitpunkt der Entstehung eines allfälligen Rentenanspruchs) beträgt das Valideneinkommen Fr. 69'758.35 (Fr. 5'523.00 [BfS, LSE 2018, T17, Monatlicher Bruttolohn nach Berufsgruppen, Lebensalter und Geschlecht, Privater und öffentlicher Sektor, Ziff. 83 "Fahrzeugführen und bedienen mobiler Anlagen", Männer] x 12, angepasst an die betriebsübliche Arbeitszeit x 41.7/40.0 [BfS, Betriebsübliche Arbeitszeit nach Wirtschaftsabteilungen, in Stunden pro Woche, 1990-2019, "Total", 2019 =