nice and flexible dateFormat deriver for #11