31.12 Pipe-soil elements