Heizungen fallen halt alle paar Jahre mal aus. Es würde mich sehr wundern, wenn das in öffentlichen Gebäuden signifikant häufiger wäre als in privaten. Aber: in öffentlichen Gebäuden sind in der Regel viel mehr Menschen betroffen. Und der öffentliche Dienst hat in der Regel eine viel längere Reaktionszeit als Privathaushalte.