| Data set information | |
| Short name | PE 100-RC Pressure pipe |
| Publication type | Undefined |
| Link to digital file | |
| Data entry by | |
| Time stamp (last saved) | 2024-04-02T10:38:24.6112424Z |
| Publication and ownership | |
| UUID | 00b1d404-dcda-49b1-a752-aa8c4892079e |
| Data set version | 00.00.000 |