German Economy Shrank in Last Quarter