The Dutch term "operatekst" matches the English term "booklet"