Baumeisterarbeiten im Zuge einer Rohrleitungssanierung im Bestand