import java.text.*;

static S formatGermanDateAndTime(long time) {
  SimpleDateFormat sdf = new SimpleDateFormat("dd. MMMM yyyy HH:mm:ss");
  sdf.setLocale(germanLocale());
  sdf.setTimeZone(germanTimeZone());
  ret sdf.format(time);
}