Irbsteinrättningens tyeeloman : 10 — 12.