Admin/page/main-layout/template.html

                   <b>
                   <font face="Arial,Helvetica" size="+2"><!-- _GP_ content("title") --></font>
                   </b>
                 </td>
 		<td width="40%" valign="middle" align="center" nowrap>
-		  <a href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif"
+		  <a href="http://www4.in.tum.de/proj/theoremprov/group.html"><img src="munich.gif"
 		      border=0 width="48" height="59" alt="[Munich logo]"></a>
 		   
 		  <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
 		      src="cambridge.gif" width="150" height="49" border=0 alt="[Cambridge logo]"></a>
 		</td>