De Rode Zee van Jan Dergent.