历阳城外桃花坞，台榭废来名已古。