第二次世界大戦に参加した後、1948年オランダに売却されカレル・ドールマン(karel doorman)と改名された。