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, Schwimmbadzubehör wie Poolfolie, Poolleiter, Sandfilteranlage und Poolzubehör.