Spring Data with Redis: How do I use a different LocalDateTime format or a different convertor