Was kostet es eine Betondecke einzuziehen?