men Ibrahim Hamil , som öfvergått från islam till kristendomen , skulle döpas.