The German term "Ferien" matches the English term "vacation, spare time, time off"