svoid stefan_own_show(S text) {
  dm_remote_showBigText(stefan_oldWindowsNotebook(), text);
}