That record was previously held by the Nemo 33 pool in Belgium.
שיא זה היה שייך לפני כן לבריכת נמו 33 בבלגיה.