static JComponent dm_noVisualisation() {
  ret jcenteredlabel("no visualization");
}