<define-tag menu-list>
  home:index
  research:research
  research/publications:publications
  research/talks:talks
  teaching:teaching
  teaching/ASR2:systeme
  teaching/TICE1:TICE1
  teaching/AlgoPar:algopar/
</define-tag>