man hette Johan de Wittoch