The Woudrichem fish market