Title: Formale Semantik Eines Erweiterten Entity-Relationship-Modells