Would love to buy a Sony a6400 .. has anyone a better idea? (or price?) ... looking at ~920€ here

Features:
- 4k/30p (at least)
- hdmi out for live image (external recording
- no overheating
- good autofocus (also while in video-recording)
- powersave can be disabled (no shutdown when idle)