Einde aan moddergevecht tussen Boekhoorn en Botman