Ein effizienterer Simulationsalgorithmus für Kripke-Strukturen