Tipping culture has been around in Germany for a long time, hasn’t it? It’s surprisingly common there