Pipe-separator