Hi, am thinking of taking family to Germany this year to celebrate DH's birthday..... we're doing a few days in various places which include 3 days in Dresden. Is there enough to do in Dresden? Is it worth visiting? DH is into history/culture etc, any advice appreciated! Thanks.