Boren of malen van een gat in roestvrij staal voor het bevestigen van een kraan aan een gootsteen