Title: Automatisierte Kontrolle von Registernetzen