äro äterförsäkrade i ätcrförsäkringsbolaget Astrea.