public SerializableAlarmCollection ReadHighestSeverityAlarmsAsJson() { return ReadHighestSeverityAlarms(); }