Christopher Thomas (German, )