In case anyone wants to have a look at the standard (12.5 tons), here it is (it costs 30€ though): https://dx.doi.org/10.31030/1904306 https://dx.doi.org/10.31

In case anyone wants to have a look at the standard (12.5 tons), here it is (it costs 30€ though): https://dx.doi.org/10.31030/1904306 https://dx.doi.org/10.31030/1904306