Has anyone on here been to Budapest in or around the christmas and new year period? Is it worth a trip?