https://www.mymiller.name/wordpress/programming/java/spring-data-with-java-records/