Die Ertüchtigung der Rendsburger Eisenbahnhochbrücke über den Nord-Ostsee-Kanal