Bundesgesetz vom xxxx 1987, mit dem das Richterdienstgesetz, das Gerichtsorganisationsgesetz und die Reisegebührenvorschrift 1955 geändert werden (236 d.B.)