German economy shrank 0.3% in second quarter, more than initially reported