Forget this - I must have been absent-minded.
Am 18.03.2024 um 09:11 schrieb Christoph & Ursula Grein:
*!topic* /Deleted text readable/ *!reference* Ada 2022 RM/13.1(29/3)/ *!from* /Christoph Grein 2024-03-18/ *!discussion*NOTE Aspects that can be specified are defined throughout this document, and are summarized in K.1 <http://ada-auth.org/standards/22rm/html/RM-K-1.html>.
