- added case not covered by the paper
Authored by: vsp_neumann 2009-06-11
Parent: [r7383]
Child: [r7385]