Ist doch praktisch, wenn der Hallennachbar mit Druckluftwerkzeug handelt. Spartipp von ihm: ganz gewöhnlichen gewebeverstärkten PVC-Druckluftschlauch mit 13mm an der Wand verlegen, Befestigung mittels M20 Klipsen für Elektroinstallationsrohr. Der Aussendurchmesser passt da genau rein. Durchsatz soll laut ihm bei kurzen Wegen kein Problem sein. Preislich ist das wohl am günstigsten.
Kunststoffrohrsysteme speziell für Druckluft sind etwas teurer, aber dafür schön einfach zu verlegen. 1" Wasserrohr ist noch teurer, und am aufwendigsten zu verlegen. Außerdem soll das nicht so toll sein, wenn das Rohr durch das Kondenswasser innen rostet.
Grüße,
Andreas