The self-sacrifice of Dutch missionary Antonius Hambroeck in Formosa