An 'Envy Tax': Theoretical Principles and Applications to the German Surcharge on the Rich