<div id="ferienportal-uhr"></div>
<script>
(function() {
  function updateClock() {
    var now = new Date();
    var parts = new Intl.DateTimeFormat('de-DE', {
      timeZone: 'Europe/Berlin', hour: '2-digit', minute: '2-digit', second: '2-digit', hour12: false
    }).formatToParts(now);
    var value = Object.fromEntries(parts.map(function(part) { return [part.type, part.value]; }));
    document.getElementById('ferienportal-uhr').innerHTML = 
      '<span style="font-family:monospace;font-size:2em;font-weight:bold;">' 
      + value.hour + ':' + value.minute + ':' + value.second + '</span>';
  }
  updateClock();
  setInterval(updateClock, 1000);
})();
</script>