Germany's GDP shrinks