Was kostet eine Kernbohrung 160 mm?