Euro Zone Officially Is in Recession