Gemäss dieser Bestimmung sind «die Eidgenossenschaft
sowie ihre Anstalten, Betriebe und unselbstständigen Stiftungen von jeder Besteuerung durch die Kantone und Gemeinden befreit; ausgenommen sind Liegenschaften, die nicht unmittelbar öffentlichen Zwecken dienen.»