German economy enters recession as first-quarter GDP data is revised lower