images and new icons used for IKB - HU Berlin - imj_iconset/33698F