ドイツ経済回復がユーロ圏鉱工業生産を0.8%押し上げ