What did the leprechauns use to get to space?