unveröffentlichte Urteile vom 11. Dezember 1995 i.S. M., E. 2 u. 3, vom 27. Februar 1996 i.S. A.S., E. 3, und vom 18. April 1996 i.S. A.S., E. 4). b) In formeller Hinsicht hat das Bundesgericht wiederholt festgehalten, es sei aus Gründen der Rechtsstaatlichkeit unerlässlich, die wichtigsten mit dem Haftvollzug verbundenen Freiheitsbeschränkungen generell-abstrakt zu regeln; dies schütze den Gefangenen vor Willkür ( BGE 99 Ia 262 E. III/4 S. 268; in BGE BGE 106 Ia 355 ff. nicht veröffentlichte E. 3a/aa). Das Gefängnisreglement klärt die Rechtsstellung des Häftlings namentlich gegenüber den Gefängnisbehörden.