— för en tjenstetid varierande mellan 57 och 35 år ; samt dessutom ät grufarbetarneKarl