GDPと鉱工業生産(平成13年6月)