500年以上の歴史のあるプールで、当時は肛門のことを尻の穴と言っていなかったため、現在で言う尻の穴とは無関係