h.w.de bruijn