Wie teuer ist es einen Keller auszuheben?