Pro-Tipp: Leg time_sort immer an, auch wenn’s erst leer bleibt. Das erspart später Chaos beim Sortieren.