mike lederer