const belegung_timestamp = [ {von:1791237600, bis:1791324000}, {von:1791842400, bis:1792015200}, {von:1790114400, bis:1790114400}, {von:1796252400, bis:1796598000}, {von:1798066800, bis:1798153200} ];