Rundpool Rundbecken pool

Wieviel größer muss ich das Loch ausgegraben werden? Beispiel 4,50 m Rundpool Lochdurchmesser?
Pool-Hersteller Deutschland für hochwertige Qualitäts- Edelstahlpool, Alupools und Stahlwandpools als Rundpools, Achtformpools, Ovalpools,Rechteckpools, Schwimmbadzubehör wie Poolfolie, Poolleiter, Sandfilteranlage und Poolzubehör.