Gross domestic product: German economy is shrinking