Is the REST API "http://user:pass@www.openstreetmap.org/api/0.2/map?bbox=..." still working? Since just a few hours ago, it seems to be returning "500 internal server error"