Euro zone slips into recession after German revision