svoid robot_pressAndRelease_vbar_germanLayout() {
  robot_keyPressAndReleaseWithModifiers(KeyEvent.VK_LESS, KeyEvent.ALT_GRAPH_MASK);
}