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