Title: Unterstützung der Konsistenzsicherung beim Entwurf digitaler Schaltungen durch die objektorientierte IREEN Datenbank