det ungerska garnisonsregementet Don Miguel.