hajdani krakkói (kézirat: hajdani <mátrai> krakkói)