Used during the HARIA demo on ARMAR-7.
@gao, can you - as the main author of commits - please check if they can be merged to main?
assigned to @gao
approved this merge request
unapproved this merge request
