Mankato Civic Center and All Seasons arenas expansion funding provided, bondsissued, and money appropriated.