Rumah pemaju Petrol d.d., Ljubljana