[1177] Das Himmelfahrtsfêst, des -es, plur. die -e, der Himmelfahrtstag, als ein Fest betrachtet.
Meyers-1905: Himmelfahrtsfest