af sitt åtagande bör entreprenören vid auk tionen aiiemna proprie-borgenaf