Grosseteste, Robert - entry in Dictionary of National Biography