A systematic procedure for type synthesis of mechanisms with literature review literaturbe-sprechung