Stichworte: Formal%20operational%20stage