Kohärente Doppelabdeckungen von virtuellen Verbindungsdiagrammen