Tjoho,
Skulle gissa på att man säkrat upp med ett lager tjära för att veta att det är tätt.
I en så gammal pool som dessutom är inomhus skulle jag definitivt satsa på ett tätskikt och inte lita på att betongen är tät. Kostar lite mer men du kommer sova gott...
Kolla på Jannes lösning som exempel, finns ett par till...
/Peter