function time(date) {
  return date.toLocaleTimeString("de").split(":").slice(0, 2).join(":");
}