PanLinx: Design by contract

Deutsch	deu-000
Design by contract

Deutsch	deu-000	Entwurf gemäß Vertrag
English	eng-000	design by contract

PanLex-PanLinx