äro framlagda i hrA