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