On 07/08/2019 14:03, Stefan G. Weichinger via samba wrote: > Yeah. I plan to google a word I hear from employees at customers now and > then: "vacation" > Coming from the other side of the canal, I prefer the word 'holiday', it sounds nicer ;-) Rowland