( deribland » krogen » för 8,000 kr .)