Wie kürzt man Doktor auf Englisch ab?