Title: Availability in Vaxcluster Systems