Rohrleitungsbau in Muldestausee, Sachsen-Anhalt