German Industrial Production Jumps 4% in July