「プール」と言うぐらいなので、当然昔は実際にプールとして使われてたわけで。今は「産業芸術美術館」という名前になっています。