Was bedeutet Ruhen des Vertrages?