och ungerska grufarbetare hafva af egen drift nedlagt arbetet och 2,500 man milistrupper äro koncentrerade itrakten