Title: Rip van Winkle, and other stories;