De portaalkraan en onderhoudsloods