sd_get_machine_names(category19-buecher.html) - phpMan