devecz miklós