Mini dachshund gets pool for Christmas