Five quick takeaways from the eurozone GDP numbers