Wie lange dauert die Sanierung der Mülheimer Brücke?