"peen over (to peen material over edge)" Deutsche bedeutung