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