Eduard Weber (German, )