import java.text.*;

static S germanTime_hhmm() {
  ret germanTime_hhmm(now());
}

static S germanTime_hhmm(long time) {
  SimpleDateFormat sdf = new SimpleDateFormat("HH:mm", germanLocale());
  sdf.setTimeZone(germanTimeZone());
  ret sdf.format(time);
}