Index: taxonomy_menu.module
===================================================================
--- taxonomy_menu.module	(Revision 1477)
+++ taxonomy_menu.module	(Arbeitskopie)
@@ -60,7 +60,8 @@
     _taxonomy_menu_node_view($node, $vocabs);
   }
   elseif ($op == 'update' or $op == 'insert' or $op == 'delete') {
-      menu_rebuild();
+    // rebuild the menu on the next page.
+    variable_set('menu_rebuild_needed', TRUE);
   }
 }
 
@@ -70,5 +71,6 @@
  * Invalidates the menu cache on taxonomy changes.
  */
 function taxonomy_menu_taxonomy() {
-  menu_rebuild();
+  // rebuild the menu on the next page.
+  variable_set('menu_rebuild_needed', TRUE);
 }