County officials named David Kraus as the interim county manager, effective immediately, as they set in motion their plan to search for a new head of county operations. The search is needed follo…
