Abstract: A mirror module for fastening to a structural element, comprises a mirror arrangement that includes at least one mirror stack and a first receiving device for holding the mirror arrangement. Each of the at least one mirror stack comprises at least one individual mirror made of a first material. The first receiving device is made of a second material which has a coefficient of thermal expansion adapted to the first material. For fastening the mirror module to the structural element, a second receiving device made of Invar is provided which holds the first receiving device of the mirror module.

Abstract: A mirror module for fastening to a structural element, comprises a mirror arrangement that includes at least one mirror stack and a first receiving device for holding the mirror arrangement. Each of the at least one mirror stack comprises at least one individual mirror made of a first material. The first receiving device is made of a second material which has a coefficient of thermal expansion adapted to the first material. For fastening the mirror module to the structural element, a second receiving device made of Invar is provided which holds the first receiving device of the mirror module.

Abstract: Disclosed is a method for determining deadlocks in secondary processes for a system model that is described in an object-oriented manner. The method includes the following: a) all active objects of the object-oriented system model are extracted; b) the transitions between the objects are identified; c) the state-waiting relations between the objects are established; d) potential deadlocks are determined as cycles of entities of two or more different objects, which wait for each other; and e) for each deadlock, all potential paths resulting in a determined deadlock are verified by way of a simulated execution of the system model.