Wie tief darf man in Betondecke bohren?