Bavaria - were there diamond cutters in Bavaria?