3 ms·

30% is a ridiculous tip in Europe, also in Germany. Generally you round up, or give 10% if it's an occasion.