Official data shows the German economy shrank by 0.3% in the second quarter compared with the previous three-month period