My German text explicitly distinguishes Swiss and German tipping culture. It agrees that rounding up is correct in Switzerland, and says to add 10% (and potentially round up after that) in Germany.