RID5785 decreased in height

synonym höhengemindert