Die Vorinstanz ist der Ansicht, anwendbar sei vorliegend auch Art. 80 Abs. 3 des Bundesgesetzes über die berufliche Alters-, Hinterlassenen- oder Invalidenvorsorge (BVG), wonach die mit Rechtspersönlichkeit ausgestatteten Vorsorgeeinrichtungen des öffentlichen Rechts nicht von der Liegenschaftssteuer befreit seien. Es werde dabei nicht unterschieden, ob die Liegenschaften dem Vorsorgezweck dienen oder nicht. Mit Art. 80 Abs. 3 BVG bestehe somit eine spezialgesetzliche Regelung, welche die weitergehende Steuerbefreiung von Art. 62d RVOG einschränke. Art. 8 Abs. 3 PKB-Gesetz erkläre die zwingenden Bestimmungen des BVG auch auf die Pensionskasse des Bundes anwendbar.