Bitten Krupke vs Vilmos Schempp