Gudmundsen trekker seg som politimester i Hordaland