Germany’s economy grew by 0.4% in the 1st quarter. That’s double the initial estimate