hartl redo