function nichtsTun () {
  ; // nichts tun
}