De Javaansche koning Kertanagara ; De manke smid op Java