Category:Stable extensions/de