Eurozone now officially in recession