Mankato transportation district headquarters building funding provided, trunkhighway bonds issued, and money appropriated.