Hartmann's_operation loading ...