https://martin-mois.de/posts/java-datetime-types/