RID5782 expanded

synonym ausgedehnt