Portal - Opening hours

It's already late and you are not sure whether a detour to Portal is still worth it or if it is no longer open by the time you arrive? Then look here for the opening hours.