I'm looking to buy my first gravel bike, budget around 1k. I want to do longer tours with it, my current trekking bike is 10 years old and weighs 20 kg so im looking for something lighter

Options i scouted so far
Cannondale Topstone 1
>1600km driven
>10.3kg
>1500 €
Stevens Supreme
>200km driven, basically new
>with bike rack, lights etc
>11.6kg
>1100 €
Scott Speedster Gravel 30
>800km driven
>10.5kg
>1300 €

Not really sure what to look for really, i heard the shimano grx is good to have which all of them do. Usually i prefer buying premium things in good condition from 5 years ago that used to cost a lot of money rather than "mid tier" but new. Im kind of drawn to the Cannondale but would have to install some modifications like a back rack and lights, what do you think? Also whats your favorite bike company? I heard Koga is good, should i look for a used gravelike by them?