Vielleicht gefällt Dir diese "kleine" Spielerei:
Sony DSC-RX0
Sie liegt preislich etwas günstiger als die FPS4000, kann 4K und kann sogar 1000fps Slomo liefern.
... die kenne ich - abgesehen davon können das RX100, RX10, NX80, usw.
Leider ist die Bildqualität unterirdisch da bei 1000fps um die 900x400 Pixel aufgezeichnet und das dann intern auf 1080 skaliert wird:
Bis 240/250 ist es OK, 480/500 sind meist schon grenzwertig aber 960/1000 sehen aus wie mit einer 15 Jahre alten Handykamera aufgenommen.
Trotzdem Danke für den Tip!