hemställan örn någon utmärkelse för holländska lotsen J . Krijne,