[delta_p_delta_x]

> Must be a fully automated border or something?

Oddly enough, not until very very recently (~2024). Traffic jams of several hours are still quite normal for vehicular traffic, and it is the busiest crossing on the entire planet, with up to half a million crossings a day.