Weitere Fragen wären: handelt es sich um kundenspezifische Verdichterturbinen oder bekommt man die von der Stange? Bei letzterem sollte es doch möglich sein irgendwoher Ersatz zu beschaffen - zur Not vom anderen Pumpenstationen, die derzeit ohnehin nicht ausgelastet werden können.
Wenn er nur ein rein technisches Problem ist, dann gibt es auch eine rein technische Lösung!