Category:Alemannic German diminutives of male given names from Semitic languages