en annan kasern i Dublin , nämligen i den s. k. kungliga kasernen.