Durban’s oldest ship repair company sold