judiska namnet Baruch förwandlades snart till Benedelto , och under dettanamn