German tipping culture, with its traditional rhythms of rewarding excellent service or rounding up is being turned on its ...