Was macht der Tierarzt bei Ohrmilben einer Katze?