code: public static TimestampInterval from(ChronoInterval<PlainTimestamp> interval) {
  
          if (interval instanceof TimestampInterval) {
              return TimestampInterval.class.cast(interval);
          } else {
              return new TimestampInterval(interval.getStart(), interval.getEnd());
          }
  
      }
docs: /*[deutsch]
  <p>Konvertiert ein beliebiges Intervall zu einem Intervall dieses Typs. </p>
  
  @param   interval    any kind of timestamp interval
  @return  TimestampInterval
  @since   3.34/4.29