Wie viel Urlaub hat der Deutsche?