Welchen Durchmesser sollte das Rohr haben, in dem die BP Tiefbrunnenpumpe installiert wird?