3 ms·

Important to note though that the minimum in Germany is "only" 20 days annually for 5 working day weeks.