1794. június 1. ld. Buda 1794. június 1.