Merge branch 'pr20230912' into 'master'

Update HOBSY ID monitor

See merge request !1

checkmk/custom-files/local/monitor_hshinfo

 #!/bin/bash
 
-REMAINING_LIBRARY_IDS=$(sudo -u postgres -- psql -qtAX -d hshinfo -c "select (maximum_value::bigint - (SELECT last_value FROM hshinfo.seq_raw_library_id)) from information_schema.sequences where sequence_schema = 'hshinfo' and sequence_name = 'seq_raw_library_id';")
+REMAINING_LIBRARY_IDS=$(sudo -u postgres -- psql -qtAX -d hshinfo -c "select sum(max_value - last_value) from pg_sequences where sequencename like 'library_id_range_%';")
 
 REMAINING_LUH_IDS=$(sudo -u postgres -- psql -qtAX -d hshinfo -c "select count(*) from hshinfo.luh_id where is_assigned = false;")
 
-echo "P watch_lib_ids remaining_library_ids=$REMAINING_LIBRARY_IDS;2000:;10: hshinfo.seq_raw_library_ids"
+echo "P watch_lib_ids remaining_library_ids=$REMAINING_LIBRARY_IDS;800:;10: hshinfo.seq_raw_library_ids"
 echo "P watch_luh_ids remaining_luh_ids=$REMAINING_LUH_IDS;2000:;500: hshinfo.usernames_luh with allocated = false"