code: public static PlainDate from(GregorianDate date) {
  
          if (date instanceof PlainDate) {
              return (PlainDate) date;
          } else {
              return PlainDate.of(date.getYear(), date.getMonth(), date.getDayOfMonth());
          }
  
      }
docs: /*[deutsch]
  <p>Allgemeine Konversionsmethode f&uuml;r ein proleptisches
  gregorianisches Datum. </p>
  
  @param   date    ISO-date
  @return  PlainDate