Det är pilsnern Tommy.....!
Frågan här är ju, givet ett linermått, hur mycket större ska poolen vara.
Linern stretchar många centimeter, men jag skulle nog sikta på mindre än en procent kortare väggar. Säg 5-10mm högre väggar än linerns mått.
Linern ska ju sträckas ut ordentligt men inte töjas tror jag. Vilken poolbutik som helst borde kunna ge ett redigt svar eftersom man hela tiden tar mått på pooler.