Mir würde ja ein Pool(Innen)maß von 9x3,5 gefallen (statt 8x4).

Oder soll ich mir das gleich aus dem Kopf schlagen weil die Pool-Abdeckung um einiges teurer wird?