RID5792 shrunken

synonym geschrumpft