Mommsenstadion wird saniert