RID5685 extensive

synonym ausgedehnt