ultramarin marine translations
ultramarin.online
buiswijdte
Rohrweite
bore of a pipe
internal diameter of a pipe
diamètre intérieur d'un tuyau