Describir: Konstruktive Darstellungstheorie und Algorithmengenerierung /