Wie ist der Mechanismus der Tail-Recursion-Optimierung in Python implementiert? Warum hat Guido van Rossum seine Implementierung grundsätzlich abgelehnt und welche Konsequenzen hat dies für den Aufruf-Stack?