Johann_hauerhof presentations