Anhand eines konkreten Streitfalls beantwortete das Bundesgericht die vom Gesetzgeber offen gelassene Frage, welche Frist für die Vollstreckungsverwirkung für eine rechtskräftig festgesetzte Rente auf zehn Jahre gilt.