. "Any real or personal property owned, used, or occupied by the agency or the commissioner of administration for any purpose referred to in sections 115A.01 to 115A.72 is declared to be acquired, owned, used, and occupied for public and governmental purposes, and shall be exempt from taxation by the state or any political subdivision of or other governmental unit of or within the state, provided tha" . . .