Javanese kris, 19th centuryfrom Hermann Historica