. . "Buildings owned by the State of Michigan, including the State" . .