Dies ist ein Attribut des Datentyps Telefonnummer.
Dies ist ein Attribut des Datentyps [[Datentyp::Telefonnummer]].