Chris Thomas — British record producer