Karl Peter Krauss, Quellen zu den Lebenswelten deutscher Migranten im Königreich Ungarn im 18. und frühen 19. Jahrhundert